Casper CBC: CBC Casper Simulator
Parameters
Network latency
Status: implemented (needs to be moved to input parameters)
Comments: Dynamic adjustment of latency not currently implemented. What about bandwidth?
Number of validators
Status: implemented
Fork-choice rule (Longest-chain, GHOST, LMD GHOST, Prism, etc.)
Status: not implemented as parameter (LMD GHOST is current default fork choice)
Comments: Need to include fork choice as a parameter
Vote-by-block vs block-and-vote
Status: ?
Comments: Need to investigate
Safety oracle
Status: not implemented as parameter (Clique oracle default)
Comments: Need to include safety oracle as a parameter
Block proposer election (slot-allocation, sortition per slot, etc.)
Status: ?
Comments: Need to investigate
Validator rotation
Status: ?
Comments: Need to investigate
Adversary
Status: Not implemented
Comments: Likely only parameterise faults and not include adversary strategies
Block parameters
Size
Generation interval
CasperLab CBC Casper simulator
Scala
Resources
design
simulation
visualization